gtkwidget: Actually mark set_double_buffered as deprecated
authorJasper St. Pierre <jstpierre@mecheye.net>
Mon, 23 Jun 2014 21:36:43 +0000 (17:36 -0400)
committerJasper St. Pierre <jstpierre@mecheye.net>
Mon, 23 Jun 2014 21:53:48 +0000 (17:53 -0400)
commitf4c2c4c6671b783ae47187ef69765ae81367da0d
tree017fc88e461c57a36b9799ab508fa030c4f39bd6
parent24b9e91f470d2f355c6e19013f302295151baacf
gtkwidget: Actually mark set_double_buffered as deprecated
gtk/gtkmain.c
gtk/gtkwidget.c
gtk/gtkwidget.h